computation tree logic中文是什么意思

發音:

中文翻譯
造句

計算邏輯樹。

computation n. 1.計算，估算。 2.計算法。 3.計算結果，得數 ...
tree n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可 ...
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
journal of logic and computation 邏輯和計算雜志; 邏輯與計算雜志
tree height computation 樹頂的計算; 樹高的計算; 樹形結構計算
computation n. 1.計算，估算。 2.計算法。 3.計算結果，得數。
-logic -logic, -logical 〔構成與 -logy 結尾的名詞相應的形容詞〕表示“…學的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
a tree 樹狀; 一棵樹; 一蔸樹
in a tree 在樹上
in the tree 在樹上（非樹本身）
in tree 內樹型; 入樹
into tree 放在樹中
on the tree 長在樹上的，如果實一類的。; 在樹上(本身生出的); 在樹上（果實等）
or tree 或樹
s tree 無私奉獻的樹
tree n. 特里〔姓氏〕。 n. 1.樹〔主要指喬木，也可指較大的灌木〕。 ★玫瑰可以稱為 bush, 也可以稱為 tree. 2.木料，木材；木構件；〔古語〕絞首臺；〔the tree〕(釘死耶穌的)十字架；鞋楦。 3.樹形(物)，世系圖，家系 (＝family tree)；【數學】樹(形)；【化學】樹狀晶體。 a banana tree 香蕉樹。 an axle-tree 心棒，軸料。 a boot-tree 靴楦[型]。 a saddle-tree 鞍架。 at the top of the tree 在最高地位。 tree of Buddha 菩提樹。 tree of heaven 臭椿。 tree of knowledge (of good and evil) 【圣經】知道善惡的樹，智慧之樹。 tree of life 生命之樹，生命力的源泉【植物；植物學】金鐘柏。 up a tree 〔口語〕進退兩難，不知所措。 vt. 趕(獵獸等)上樹躲避；〔口語〕使處于困境；窮追；把鞋型插入(鞋內)。
a priori computation 演繹計算
abort computation 異常中止計算; 異常終止計算
accuracy in computation 計算準確度
actual computation 實際計算
addre computation 地址計算

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

百科解釋

Computation tree logic?(CTL) is a branching-time logic, meaning that its model of time is a tree-like structure in which the future is not determined; there are different paths in the future, any one of which might be an actual path that is realised. It is used in formal verification of software or hardware artifacts, typically by software applications known as model checkers which determine if a given artifact possesses safety or liveness properties.

詳細百科解釋

推薦英語閱讀

computation tree logic的中文翻譯，computation tree logic是什么意思，怎么用漢語翻譯computation tree logic，computation tree logic的中文意思，computation tree logic的中文，computation tree logic in Chinese，computation tree logic的中文，computation tree logic怎么讀，發音，例句，用法和解釋由查查在線詞典提供，版權所有違者必究。